坂口 和彦
坂口 和彦は未踏クリエータ。
テーマ "
組み込み用プログラミング言語「Yadorigi」の開発
" で
2009年下期未踏ユース
に採択された。PMは
筧 捷彦
。
https://pbs.twimg.com/profile_images/1233706215/yadorigi_m_400x400.jpg
https://twitter.com/pi8027
未踏事業採択
2009年下期未踏ユース
テーマ:
組み込み用プログラミング言語「Yadorigi」の開発
PM:
筧 捷彦
経歴
木更津工業高等専門学校
情報工学科 2009年下期時点
#高専生
筑波大学
情報学群 2012-09-15時点
CNRS and the ENS de Lyon Postdoctoral Researcher（2024年11月時点）
https://www.facebook.com/pi8027/about
活動
講演:
第45回情報科学若手の会「「定理証明器 Coq でスタック指向プログラミング」」
2012-09-15
#プログラミング言語